(0 15 3)(1 17 8)(2 14 6)(4 9 7)(5 12 11)(10 16 13)
ALLOWS (11/8)-SEQUENCE
1: (8 12 17)
(0 15 3)(1 17 11 5 12)(2 14 6)(4 9 7)(8)(10 16 13)
2: (1 5 12)
(0 15 3)(1)(2 14 6)(4 9 7)(5 17 11)(8)(10 16 13)(12)
3: (4 9 7)
(0 15 3)(1)(2 14 6)(4)(5 17 11)(7)(8)(9)(10 16 13)(12)
4: (0 15 3)
(0)(1)(2 14 6)(3)(4)(5 17 11)(7)(8)(9)(10 16 13)(12)(15)